منابع مشابه
Reactive Safety
The distinction between safety and liveness properties is a fundamental classification with immediate implications on the feasibility and complexity of various monitoring, model checking, and synthesis problems. In this paper, we revisit the notion of safety for reactive systems, i.e., for systems whose behavior is characterized by the interplay of uncontrolled environment inputs and controlled...
متن کاملTemporal verification of reactive systems - safety
What do you do to start reading temporal verification of reactive systems safety? Searching the book that you love to read first or find an interesting book that will make you want to read? Everybody has difference with their reason of reading a book. Actuary, reading habit must be from earlier. Many people may be love to read, but not a book. It's not fault. Someone will be bored to open the t...
متن کاملSatisfiability-Based Methods for Reactive Synthesis from Safety Specifications
Existing approaches to synthesize reactive systems from declarative specifications mostly rely on Binary Decision Diagrams (BDDs), inheriting their scalability issues. We present novel algorithms for safety specifications that use decision procedures for propositional formulas (SAT solvers), Quantified Boolean Formulas (QBF solvers), or Effectively Propositional Logic (EPR). Our algorithms are ...
متن کاملRobust Model Predictive Control with a Reactive Safety Mode
Control algorithms suitable for online implementation in engineering applications, such as aerospace and mechanical vehicles, often require adherence to physical state and control constraints. Additionally, the chosen algorithms must provide robustness to uncertainty affecting both the system dynamics and the constraints. As further autonomy is built into these systems, the algorithms must be c...
متن کاملSafety contracts for timed reactive components ( extended abstract ? )
A variety of system design and architecture description languages, such as SysML, UML or AADL, rely on the decomposition of complex system designs into communicating timed components. In this paper we consider the contract-based specification of such components. A contract is a pair formed of an assumption, which is an abstraction of the component’s environment, and a guarantee, which is an abs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.54.13